untemper with quickcheck (failing)