 In the later Gelukpa tradition, which draws on this model, the definition whose short version is formulated in terms of “newly non-belying” also includes the requirement of “eliminating superimpositions.”