A superclass should be replaceable with objects of its subclasses without affecting the correctness ...Read more
An exploratory start π