If mod a b mod