<<< Sol >>> doesn't have any sets.