A bridge that depends on all rivets being perfect is a bad thing. A proof that no longer holds outside of its domain of application is still useful.
The trick is to recognize when you need one and when you'd rather use the other.
The trick is to recognize when you need one and when you'd rather use the other.
An error free perfect piece of software hat doesn't is useless