Formalizing wills