quickcheck after complation