The top documents tagged [formalized y]