`[1345789]` could also be expressed as `[^26\D]`, but I don't know if that would hurt readability