3.01: Basic Derivation Rules