I think non_sealed would be better than non-sealed though, because AFAIK there used to be no identifiers with hifen before.