The top documents tagged [nandx y x]