Dagon comments on Co-Proofs