stricter access to the state of machine 1