User blog comment:Calvincambridge30/Versus/@comment-26855072-20160102193402/@comment-26982641-20160103220058

Kripke confirmed it.