for i being Integer holds CircleMap . i = c[10]