Mitchell_Porter comments on Informal semantics and Orders