Checkpoint: shape dispatch

totalArea is the inheritance synthesis in miniature: a Shape[] where every element answers area() in its own way, and the loop neither knows nor cares which concrete class it holds. If your trace needed instanceof, the dispatch table was missing — the object's class already made the decision. This shape (one reference type, per-object behavior, one accumulator) is the entire inheritance MCQ genre compressed.