Some initial work on derivation section.