it would be nice if your generator didn't ignore negative constraints