This page has moved to https://drmaciver.com/notebook/2018/12/etymology-of-property-based-testing/.