@Frederick #17 has d(x,y) = d(x,y)?