This is all getting too complicated for me. I didn't lose too much, but I'm interested in where things go legally. Do you think any tax was paid on their income of millions? It's a big bill, and I'm sure the ATO will be looking for it.