Derivation and Computation