On the semantics of non atomic actions door Rensink