@ProfKinyon What are you saying about my proofs?