min_davinci doesn't have any sets.