started work on metric spaces