Before revision: A pure functional subroutine only has visibility of changes of state included in the state variables included in its scope.
After revision: A pure functional subroutine only has visibility of changes of state represented by the state variables in its scope.