The top documents tagged [proof of p q q]