MAT 1320B lecture on derivation rules