Now use the category and span that are associated to the most
interesting bound that led to the closure bound.