Law Of The Excluded Middle