Original writeup (https://congtrung2k1.blogspot.com/2020/04/auburn-42020.html#Sora).