abramdemski comments on Co-Proofs