completeness rule