TheOtherDave comments on Solved Problems Repository