The top documents tagged [valid categorical proposition]