c_le_plus doesn't have any sets.