Decidability (logic) door