let
range base k n = zone base (
Range
(k,n))