[lmm]

I want to keep locality. Being able to derive it would be a happy bonus, but I'm perfectly willing to adopt it as its own axiom.