Let x = each [0,...,100].
  Let y = each [0,...,100].
  MakeSure x*y - 2*x^2 + y == 10.
  Writeln[$(x,y)].
  MakeSure false.    %% Kill this branch and try the next one.