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