template for derivation :