Added in the Setup and Derivation algorithms