Finished section on metric spaces.