>>106403662
not correct. both Haskell and Rust prove this.