The top documents tagged [x yprove x y x y]