Definitive Proof That Are Bounds and system reliability