$HTZ so they can still back out of this at some point before a certain deadline, right? Since it’s voluntary? Anybody knows?