Luodaan monimutkaisempi versio tästä lauseesta. Luca Cardelli ja Peter Wegner laajensivat käsitettä vuonna 1985 julkaistussa artikkelissa.
Luonnollisesti monimutkaisempi versio lauseesta on "Luca Cardelli ja Peter Wegner laajensivat käsitettä vuonna 1985 esittämällä käsitteen '" sisällyttäminen polymorfismi '" malli-alatyyppejä ja perintöä. "