Formalized Procedure With Negotiation