documented achievments: solve_right()