Text this: The theory of exchange market intervention;