Implemented human-gradable problems.