The top documents tagged [correct implication]