Finished naive generalization