lukeprog comments on Rationality Dojo Examples?