The top documents tagged [declarations override earlier]