Чтобы не дразнили, Антон сменил имя на Антонио... Дразнить его не перестали, но дразнилки приобрели особенную елегантность.