Side note: don't underestimate how much literal, physical time and energy "unfold" implies. Proofs occur on physical substrates.