CR logics