proofs, progress (1000257873);