Add spec tests to problem 7