Could this show some example usage with an `assert!` that it's correct?