Valosken comments on Co-Proofs