Formalizing the Agreement