The top documents tagged [pn q proposition p1]