5.121

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

349