For all X and all Y, X is sitting left of Y, if Y is sitting right of X.
X
Y
Solution
Back to the exercise.