cooper environment mixin a) + b)