Methemetecs is a user on dolphin.town. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

¬(e∧e) ≡ ¬e ∨ ¬e
¬(e∨e) ≡ ¬e ∧ ¬e

| e e e |
| e e e | = e *(e*e - e*e) * 3 = 0
| e e e |

∃ E (|E| = 0)