Decidable

#1

Problem has been made