KRF.conj_self_entails