The top documents tagged [models different proofs]