let (//) r s = inter r s