. Some statements are true (1 + 1 = 2)

but possibly not this |

.. Some statements are false (p ∧ ¬ p)

but probably not this |

... I do not exist is a contradiction

 |

/

O

¬

=

|