Template:Individual-TLP-paragraph-en-5.122

5.122 If p follows from q, the sense of “p” is contained in that of “q”.