euclidean-space public under metric-space 2 List Picture As a command %3 n0 euclidean-space n1 metric-space n1->n0