let
index base k = zone base (
Index
k)