adding collaboration operation
- comunication axioms