User blog comment:Ecl1psed276/A list of all BMS versions and their differences/@comment-30754445-20180725115828/@comment-32697988-20180725142049

"If you could really show that some version of BMS reaches weakly compacts at (say) (0,0,0)(1,1,1)(2,2,0), that would be very very impressive," Again how do you "show"? Do we give a rigorous proof or just give a ordinal table with tens of thousands of lines?