Contraints should be linear, not rational