unbreak system solvable rewriting