Formal Cooperations