added cooperative_effect quantifier