i was fortunate to find: https://www.youtube.com/watch?v=u0t-6lUvXHo -- it's been helping me to understand some of test.check's internals better. i don't see this linked to from test.check's repository. if it isn't there somewhere, perhaps it would be worth mentioning it?