precompleteness

not defined yet