logic fixed rule 5