The top documents tagged [d redundant constraint]