epsilon2424 doesn't have any sets.