The top documents tagged [forall x sufcientlyclosetozero]