machines and states now have names