Template:Individual-TLP-paragraph-en-5.121

5.121 The truth-grounds of q are contained in those of p; p follows from q.