rules of derivation