Symbol: solvable_identical