Completeness Assertion