yep, that's what that stuff is about

also, the newer version of test.check has a more flexible API that would support some kind of library for giving more information about what failed

cool! I will tinker around that later