Convert hackish verification to real rspec in ex2_02.rb