(* Bob has wife Carol, and kisses her; and Ted has wife Alice and kisses her; so this is true! *)
(* "if a man x has a wife y, x misses y" *)
(* Bob has wife Carol, and kisses her; and Ted has wife Alice and kisses her; so this is true! *)
(* "if a man x has a wife y, x misses y" *)