Спецификации: малко промяна в имената на променливи