Implementation complete, basic sanity tests