⊥

ex falso sequitur quodlibet