Title: Formalizing agreements