right Deductions body relative direction is for example right ⇐ (right is a body relative direction), (is a is inverse of is for example)