Formalizing Customer Agreement