lambda m :  & lambda n :  & m mod n
