5.122 Quand p suit de q, le sens de « p » est contenu dans le sens de « q ».