Cameron Sense AS - Proofs