https://corrode.dev/blog/local-reasoning-in-rust/
#rust