rule

derivation

next step