alt Hacker NewsThe fact that it requires so much explanation, indicates the level of degradation in the reasoning ability of the audience. A value of a subtype shall deliver all of the expectations of its super type, because it is wearing both the hats of super type and sub type.
Not all all. It merely indicates that this is an strict logic approach to the topic.
https://commonplacefacts.com/2022/07/27/principia-mathematic...