Improve “exactly one” translation; solve Sudoku!