A Kripke frame with this property may not exist, but a general frame always does.
带有这个性质的Kripke框架可能不存在，但是一般框架总是有。