Talk:Generalization (logic)