Two trunks emerge from one axiom and merge at α. Everything downstream passes through the exchange rate.