The Law of the Excluded Middle

P ∨ ¬P [an error occurred while processing this directive]