completeness constraint