scaled array land lines
map bound in static proof ___