...I apologize for starting a new thread in this manner, but it is the only way that seems to work... ...can someone provide me with a reference for QuickCheck? Thank you