The top documents tagged [common proof of aggregate]