implement check_solved