definability

not defined yet