Deductive Logic door