The top documents tagged [place of formalized]