The top documents tagged [universally quanti ed]