decidable

decidability