Hi there! I wonder why not Ddoc to get some 'in' statement stuff. IMHO, preconditions are part of the interface and would look good in documentanion. Vladimir