Formula Definition and Derivation