The door between a problem in deduction