5.122

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