Write rule 9