add 2 tests
some quickcheck stuff