ok, so none of these test pre and post conditions so they're not part of the tests