É correto afirmar que usamos polimorfismo quando sobrescrevemos métodos abstratos? E também que usufruímos das vantagens do ducktyping quando herdamos da classe abstrata o método concreto calcula
que espera os métodos abstratos implementados nas classes filha com a mesma semântica?