OK, so we don't want equals on Problem, but we sure want a toString that is better than a number