The top documents tagged [x x setq y2]