Because to reason about things becomes harder as the stakes are raised. We had to implement paxos for distributed systems in college and my partner I started ov

Because to reason about things becomes harder as the stakes are raised. We had to implement paxos for distributed systems in college and my partner I started over probably about three times trying to code it normally. Then we switched to just focusing on defining states and the conditions that transition between them and our solution became much easier to code.