The top documents tagged [proof y]