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

It certainly looks that way.