also, it should be `type=integer` to use assumptions properly.