[saagarjha]

Because you're always going to write some code that the tools can't reason about.

[throwawaymaths]

thats true for rust too (hence "unsafe")