So the lodgement of the EIS back in October was price sensitive. Can I assume that the lodgement of the supplement to the EIS that was requested would also be price sensitive? If so, it hasn't been submitted yet. Surely they can't release the DFS with a pending EIS. Am I wrong in my way of thinking?