Welchen Satz p nicht als seine Folge erkennt, der ist nicht seine Folge.