> not even Rust is free from hand waving.

It is moral though, so who cares really.