completeness property