ozymandias comments on Co-Proofs