(‘ich bin wahr’ ist falsch) = ¤ ¤ (‘ich bin wahr’ ist wahr)