 Notice that the veridicality of knowledge ensures its consistency: Any reflexive frame is automatically serial. Hence accepting \(K_{a}\varphi\rightarrow\varphi\) implies accepting \(\neg K_{a}\bot\).