If we have TIPS in crypto exchange what do we need to do or can we just leave them there?