Re: Fwd: Eudyptula challenge submissions (patch versus proof)