XelaP comments on Co-Proofs