As regards the foundation, the structure of [Kc] is simpler than [Kr] as a consequence of the modal approach employed.