Adding CLaws "derivations"