Alan_def doesn't have any sets.