[#2] Improved specifications for ex. 1