„Ich denke p” hat dann mit „⊢p” eben nur „p” gemein.

\ ✓ ✓