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