On the Calculus of Equivalent Statements. (Seventh Paper.)