Fixed excludedMiddleAxiom