let
(//) r s = inter r s