s/Until reach/Until we reach/ or Until a top-level machine is reached?