That is a bit too harsh. Not all applications require those guarantees. It’s fine if you can trust the inputs.