> Naturals are a strict subset of Integers. The Liskov substitution principle applies perfectly well when you set this up the right way. The article modelled i

> Naturals are a strict subset of Integers. The Liskov substitution principle applies perfectly well when you set this up the right way. The article modelled it in both directions...