Generacja bardziej złożonej wersji tego zdania Luca Cardelli i Peter Wegner rozszerzyli koncepcję w 1985 roku.
Oczywiście bardziej złożona wersja zdania brzmi: "Luca Cardelli i Peter Wegner rozszerzyli pojęcie w artykule z 1985 r. wprowadzając pojęcie "polimorfizmu włączenia" do modeli podtypów i dziedziczenia".