Simplify a derivation builder example.