The crate fulfills this invariant, maybe we could add it?
The crate fulfills this invariant, maybe we could add it?