aelephant comments on Solved Problems Repository