5˙0412
Folgt p aus q so kann ich aus q auf p schließen, p aus q folgern.