clarify variablesmatching() semantics, asked by user