--quickcheck for simply finding updates (prototype)