working on subsection "Completeness"