The top documents tagged [reduction inuction]