newwork:dia²log QuickCheck