The top documents tagged [model formal]