And assuming the crypto algorithm has no fundamental flaws, it's applied correctly, and the software implementation has no bugs.

All of which are things people have on occasion believed to be true and found out later they were wrong about.

Agreed. It's also very low effort and as such I'm ok with the redundancy.