let
ss f x y = (snd (f x) <> snd (f y))