The top documents tagged [implicit definitions]