calculus of equivalent statements