In reply to Re^2: Formalizing an array type problem, looking for solution by Anonymous Monk in thread Formalizing an array type problem, looking for solution by melmoth