[sclv]

You do get 0 * x <= 0. You just need a splash of domain theory to make the medicine go down.

[tome]

I don't think that's the <= you were looking for ...