groundwork necessary for establishing the existence and uniqueness of solutions to the