law of the excluded middle