Почему Вася - Василий, а Ваня не Ванилий?