Orthotonus definitions