University College London - MATH0010: Existence and Uniqueness