an extensive discussion of the existence and uniqueness of solutions of formally