We should run the tests here and show that all four pass.