Hello Dman: > [1] VDM-SL is a formal modelling language that has a strong basis in > discrete math and set and sequence and map operations. I told you list comprehensions were for a select few =8)... Y, Scot