go down one level in abstraction temporarily, then down a further level