The top documents tagged [l1 x equiv x x]