great talk, @gfredericks, thank you! now we need to persuade you into writing a book on test.check and gen testing