Jan Klein - A new definition of polymorphism (82/106)