A more complex example rule to prove the utility