https://digitalartificer.com/ https://digitalartificer.com/blog/ https://digitalartificer.com/blog/effective-property-based-testing/ 2021-02-01 https://digitalartificer.com/blog/micrologic/ 2014-12-07