User blog comment:LittlePeng9/Formalizing googology - naming schemes/@comment-25601061-20180401235440/@comment-30004975-20180402024326

Speck≠Spec K, so maybe.