User:Alemagno12/BMS Central/BM2/draft

NOTE: We are using this definition for BM2. It's not yet proven that it's equal to Bashicu's BM2, though (although there's a pretty good chance that it is), so this analysis may not be true at some point.

[WIP]