Make example solvable