Title: Proof Through the Night