Also: falsz ⇒ wahr = wahr ⇒ gesamte Aussage wahr