3 ms·

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

• tome 10y ago
  I don't think that's the <= you were looking for ...