Proof code for 2021-07-19.

The code for 2021-07-19 is a3718ffc-8220-463b-922a-84ec087da7fc.