User blog comment:Tommy,Klaus&Kol2012+/Unanswered questions/@comment-79.115.70.206-20151017143751/@comment-26982641-20160328131037

Kripke confirmed that.