Stateful specs and stubs
Fleshing out specs