This page has moved to https://drmaciver.com/notebook/2018/09/notation-for-test-case-reducers/.