Derivations : removed /2 and /4 substitutions (compiler looks after this)