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.