16 It is correct for proofs that incorporate two copies of a's value, or-more important-no copies of a's value because a is a side condition.
it recognizes that a low-probability item must have high priority if it could be used as a side condition in a higher-probability parse (though this cannot happen for the side conditions derived by the magic templates transformation ( §6)).