I think his point was any logic branch which branches on any state injected by the world outside of the compilation scope.