Added rspec testing of Lemma.