Redirecting to Generalization (logic)