proofs, working (1000257315);