Almost done. Only Quickcheck stuff left.Almost done. Only Quickcheck stuff left.