The top documents tagged [equivalence f x]