practice TDD with  example posv1