rule

derivation

begin again