more cooperation logics