<div dir="ltr"><div>Hi, nice to see a fellow Brazilian.</div><div><br></div><div>How does your work differ from QuickCheck?<br></div></div>