Equivalential Calculus
THM5