5.141 If p follows from q and q from p, then they are one and the same proposition.

OK, so the worry about equivalent propositions is dealt with here.