rp: quickcheck problem