I used to build these too, my example was one in actionscript (always fun on restricted devices) and it was a bug in a library I wrote. I was actually testing t

I used to build these too, my example was one in actionscript (always fun on restricted devices) and it was a bug in a library I wrote. I was actually testing the property tester and found the bug then, after realizing it wasn't a bug in the new test/tester. > It’s incredibly humbling work Absolutely. Glad others feel it too. I almost feel like you need a decent reason why not to use them in places. Ideally to can describe the behaviour of something in general terms around what stays true. If you can't, is it too hard for people to understand? I will however say I don't usually write pbts but have a strong feeling I should add more.