Proof Through the Night