lawofthe excluded middle