General theory of anti-avoidance rules by Jonathan Vita