The top documents tagged [proofs of a11]