I'm finding that my CS2 students really struggle with the notions of type conformance and subtype polymorphism in Java. Say we have the following: public abstract class Vehicle { // attributes + constructor public void ride() { ... } public String toString() { ... } } public class B...