richard.1251 doesn't have any sets.