In Nevin's monograph on vowel harmony he writes "the no-lookahed property of the Search procedure seems to require a target-initiated, procedural search, which cannot obviously be replicated in declarative models." BMRS is a declarative model that has this property. Another insight captured. Cool.