5.122

Folgt p aus q, so ist der Sinn von „p“ im Sinne von „q“ enthalten.