so I’m going to cast the object to a specific type and use a specific method.” Exception in thread "main" java.lang.ClassCastException ...

Learn the four types of polymorphism in Java, then start using subtype polymorphism to execute different forms of the same Java method ... I classify coercion and overloading as ad-hoc ...

That's a good start to help developers understand LSP, but Martin's quick description initially reads like a summary of Java's out ... with a runnable main method, is an easy way to explore the ...