Dmitrij P. Skvortsov: A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic. Advances in Modal Logic 2010: 392-410