still another question to ... (TOPLEVEL-OR-LOOP X Y) should y be at the top level of x or in its loop? ------ x has a loop in its steps and y is the step just after it. // 9 //