completedness

not defined yet