p ∙ q→p       {p ∙ q} ⌵ p ∙ ~q = p
Was geht mich die Geschichte an[,|?] Meine Welt ist die erste und einzige!