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