This page has moved to https://drmaciver.com/notebook/2020/04/the-problem-of-deduction/.