Toota selle lause keerulisem versioon Luca Cardelli ja Peter Wegner laiendasid seda kontseptsiooni 1985. aasta paberis.
Muidugi on lause keerulisem versioon "Luca Cardelli ja Peter Wegner laiendasid kontseptsiooni 1985. aasta paberis, esitades kontseptsiooni " " kaasamise polümorfismi " " mudelite alamtüüpide ja pärilikkuse jaoks. "