Ich nehme p ⊃ p als Maxime an, etwa des Schließens.