Major Political Events
Members of the Twelfth United States Congress
... is equivalent to the earlier, longer one: (S (K (S I)) K x y) = (K (S I) x (K x) y) = (S I (K x) y) = (I y (K x y)) ...