Generalized and simplified highlighting matching elements, highlighted matching variables.