For n ≥ 2, REFER (n) indicates that DAN uses a stack of n identical REFER modules.
for each pair of successive modules, the output of the previous REFER module is fed into the next REFER module as a query (i.e., q t ).