line was too long
Add a theoretical analysis of failure probabilities