Added rspec model validations
Fixed typo in letc and letb