User blog comment:PsiCubed2/My own version of BMS/@comment-25601061-20181123224058

Could I make a blog post with my own proof of termination of the system? (It won't use a correspondence with Buchholz's hydra, but rather with an OCF)