Formalize the test before getting it ready for mocks