Welp. Heading to bed without Auguste's AC proofs done, so I guess that's it for me.