optional completeness rule