The top documents tagged [equivalence of p q]