Some of these systems are so complicated it is hard for one person to reason about every eventuality.