A mondat bonyolultabb változatát Luca Cardelli és Peter Wegner terjesztette ki egy 1985-ös tanulmányban.
Természetesen a mondat egy bonyolultabb változata az, hogy "Luca Cardelli és Peter Wegner egy 1985-ös cikkben kiterjesztette a koncepciót azáltal, hogy bevezette a "befoglalási polimorfizmus" fogalmát a modell altípusok és az öröklésre".