Try %% Catch the final exception. !x = each [0,...,100]. !y = each [0,...,100]. Ensure x*y - 2*x^2 + y == 10. Writeln[$(x,y)]. Ensure false. %% Kill this branch and try the next one. %Try