about wdgm and quickcheck in appendix