let
(-/->) r s = not (mem r s)