User blog comment:Fejfo/Super Fast Beaver Hierarchies and a weird OCF/@comment-1605058-20180806150910/@comment-35392788-20180806153906

Doesn't "admissible" involve something about a model of KP ?