wrote up test cases, but need to check the non-trivial one on paper