decidability

not defined yet