That doesn't apply to this discussion. What program verification or analysis were performed on this system? My position about defense in depth is not a fallba

That doesn't apply to this discussion. What program verification or analysis were performed on this system? My position about defense in depth is not a fallback argument. It was my original point.