If F X F Y F X Y F X Y ∀ X Y Then F X Is