A Proofs and Derivation