fre completeness rule