Did some more work on my formal requirements specification with RSpec, experimenting with different ways to organize the RSpec tests.