Formally, this module is defined by the process function f H : where at stage k, a t is a set of attention weights which are inferred based on the previously assigned attention weights a .
the highlights at a specific stage k will be dependent on previous highlights.