abramdemski comments on Co-Proofs

[abramdemski]

I edited the post to include a more detailed definition.