But that hasn't actually been true since April. Are investors ~100% confident that it will be exchangeable again in the future?