:) you are writing the tests with knowledge of the implementation, which you need to ignore.  The point is that one could foolishly change the implementation to do very wild things, and the tests should verify that does not happen.