7 rules
rule 1: valid
rule 2: valid
rule 3: valid
rule 4: valid
rule 5: valid
rule 6: valid
rule 7: valid