> 5785 D 1 3.1 Murphy              Inequality is not ordinary

I think this should have been 3.0, but I'm not going to contest it
as I doubt it will affect the overall result.

Reply via email to