Proof code for 2020-08-24.

The code for 2020-08-24 is 3fd51f10-b196-449e-9e59-5d9fef46a937.