Reviewing the other proofs