Можете ли вы объяснить концепцию настоящего полиморфизма в объектно-ориентированном программировании?