Vytvořte složitější verzi této věty Luca Cardelli a Peter Wegner rozšířili koncept v roce 1985 v článku.
Samozřejmě, složitější verze věty je "Luca Cardelli a Peter Wegner rozšířili koncept v roce 1985 tím, že představili pojem 'inkluzivní polymorfismus' k modelování podtypů a dědičnosti".