Inverted F1 F2 definition F1 -> F2, F2 -> F1
This makes alot more sense so is changed in the paper.
First the inequality S != R, then the conditional S > R | S != R