factored out EnvC =| (|=)