Law Of The Excluded Middle Definition