User blog comment:Emlightened/A Largest Number/@comment-31580368-20180903033927/@comment-25601061-20180904010306

and β is Lβ ⊨ MK

pretty sure that's wrong