Decidability (logic) by