The argument is for deterministic environments--no initial condition dependence. If initial conditions are allowed, then you can consider the following environ

The argument is for deterministic environments--no initial condition dependence. If initial conditions are allowed, then you can consider the following environment: initial condition is an arbitrary source-code; the environment proceeds to implement said source-code. Clearly this "environment" is too all-encompasing to be considered as a single environment.