Decidable and undecidable