Thank you, that was a much more detailed response than I was expecting. Would it be correct to assume, then, that a pure ML would allow HM to be trivially modi

Thank you, that was a much more detailed response than I was expecting. Would it be correct to assume, then, that a pure ML would allow HM to be trivially modified to support the equivalence?