Template:Individual-TLP-paragraph-en-5.141

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