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