more work on metric space notes