existence and uniqueness