Elo comments on Co-Proofs