3 rules
rule 1: valid
rule 2: valid
rule 3: valid