used in the form "Using [s1, ,sn] T" where [s1, ,sn] is a list of substitutions, runs tactic T using the list of substitutions to help it instantiate universally quantified variables as called for
an act that exploits or victimizes someone (treats them unfairly); "capitalistic exploitation of the working class"; "paying Blacks less and charging them more is a form of victimization"