The top documents tagged [propositions y yy]