Senator CORMANN (Western Australia) (14:15): Mr President, I ask a supplementary question. Is the minister suggesting that the whole revenue write-down for the MRRT is due to lower commodity prices? If not, have any royalty credits been claimed against any mining tax liability so far as per the government's Minerals Resource Rent Tax heads of agreement with the big three miners?