derivation rules