Capla comments on Solved Problems Repository