Proof Link (no. 0057): https://docs.google.com/spreadsheets/d/1BWJNVX19DJXiH5JvW_9D0hiap1ZgFtFX6x1VxVTnh3w/edit#gid=719878767