add 2.5.1: environments, maximization