Equivalential calculus