A quantifier rule.
"Which instance?" now takes an argument.
Appearing in.