Has the exchange between TIPS and the FED been completed?
If the exchange is not complete,
What time does it start?