(Infty_dist 2) . (|[0,0]|,|[1,1]|) = 1