bit more of the machine, but I obviously have not thought hard
enough about the handling of R[]