Let polymorphism. Generalization and instantation are non-relational.