User blog comment:MilkyWay90/I'm ready for the easiest OCF!/@comment-32697988-20180821002553/@comment-35392788-20180821180959

I think most people would accept a proof-assisted analysis, like Nish's.