David K-2006-Date,Reverse Proofs