The top documents tagged [aaaa1can proofs]