The top documents tagged [logical equivalents]