Proof code for 2021-06-13.

The code for 2021-06-13 is 446fd704-cc19-4e3a-9324-0cb31ccb3b8b.