“implication law in discrete mathematics”