Convert hackish verification to real rspec in ex2_03.rb