User blog comment:Nedherman1/My Factorial vs HAN!!/@comment-35811215-20180703173610/@comment-35392788-20180708120024

BM3 doesn't terminate, but we don't know about BM2. There are multiple versions of BMS.