What is the rule for the reflection?
Oryx(x, y) → (-y-x)
Oryx(x, y)-(-y, -x)
Oryx(x, y) → (v. x)
Oryx(x, y) → (v. x)
