Okay.
Am I aware of the total amount? I mean, all industries pay taxes in different ways, and royalties.... The effective tax rate on the oil and gas industry has tended to be a bit lower than other sectors.
On February 3rd, 2020. See this statement in context.