Proofs Not Retouched for Selection Only