Clark-Lindsey - Proofs