Generalization_(logic) loading ...