5.122

Se p segue da q, allora il senso di «p» è contenuto nel senso di «q».