The core idea

Same call, each type's own behaviour.

Different objects respond to the same method in their own way, so calling code works with the general type and never checks which specific one it has.