Elimination: when solving the elimination problem, goNext to solve the subgoals.
Elimination: when solving the elimination problem, goNext to solve the subgoals.
kwangkim/pigment,kwangkim/pigment,brixen/Epigram,kwangkim/pigment