So would section 1031 be applicable to TXN as an Australian company based in the US??Or is the sale done through Texoz?