Derivation rules. Part I.