* the notion of a 'cross' step allows to write steps that act on a given