Existence Vs Completeness Assertion