[dsacco]

The parent mentioned children, and I mentioned a (very talented) 14 year old. You're talking about 19-22 year olds; I have no reservations about that age bracket tackling proofs, but that's not really the point.