Welcome back — your proof is waiting.