Implemented Law of excluded middle