If local transitivity holds across all such steps, the global comparison between Z-world and A-world...