O I think I see now what you (and cowry) are saying here. Basically the issue would be if a solver wanted to submit an unfair solution like the example from the token conservation test post, they could get away with it by misrepresenting their expectations, i.e. flipping the limit prices of the two orders so they match up with the filled amounts that the two user orders are getting. Is that about right?