decidedness

not defined yet