Math Conditional, Identity, Contradiction Equation, Expression