Implemented return and ensure.  Tests pass.