Wow, I always thought the Byzantine Generals Problem was just a metaphor.