Candidates for decidable

Delete All Candidates