(These aren't all necessarily different machines or even different programs, but it is helpful to give a name for each step.)