moved quickcheck to sub-collect