The branching roads metaphor is merely pedagogical illustration of this formal argument, not the arg...