The top documents tagged [deduction sequencing]