completeness

not defined yet