Post-first proof