The top documents tagged [given two axioms]