Proof code for 2020-08-27.

The code for 2020-08-27 is 5a09f0f5-47ed-45f1-9879-95154a3983a5.