Initial skeleton of rspec for gaddag