The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems