SCH_from_KL doesn't have any sets.