Assumption
But there is an underlying assumption at work
- The implementations will fail independently
- Like the chips in hardware that fail based on physical structures
- Otherwise, a multiplicative factor will not be gained
Do independently built implementations of the same specification fail independently?