O que acontece quando um programa invoca um método por meio de uma referência à superclasse (classe pai) e, em tempo de execução, a versão correta da subclasse (classe filha) do método é chamada com base no tipo da referência armazenada na variável de superclasse (classe pai)?