finished adding tests from Demo.hs