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