let index base k = zone base (Index k)