The top documents tagged [n induction hypothesis]