For all we know, they might be closing in on a deal. BTW, at current price for AVDX, Amarantus stake is worth $24 mil. AVDX is thinly traded, but it is hanging in there.