Sequential proofs section OK. Review