User blog comment:Koteitan/Purely mathematical definition of BMS/@comment-30754445-20181123092422/@comment-32697988-20181123114029

I guess changing the "strictly smaller" in step 3 to "smaller or equal" does not change expansions of standard matrices. We can easily find counterexamples but it seems like all of them are nonstandard.