3.01 Basic Derivation Rules