(clotilde) doesn't have any sets.