#inductive-generalization

[ follow ]
Empty.