As an example, Robert Bull proved using this method that every normal extension of S4.3 has FMP, and is Kripke complete.
作为例子，Robert Bull 使用这个方法证明了 S4.3 的所有普通扩展都有 FMP，并且是 Kripke 完备的。