Definitional Generics∗ · Study