“…For example, the term [1,2]++ [3,4], which is a narrex, is replaced by 1:([2]++ [3,4]) which is constructed as follows. First, the handles for the terms [3,4] and [2] are pushed on the pre-term stack. Executing "MAKETERM ++" replaces them with a handle to the new term [2]++ [3,4].…”