Index
More conservative autoref
More accurate autoref
Better autoref