Alan Kornbluth Benyes Proofs