The top documents tagged [path conditions]