No. They had an arbitration process that essentially said they should have been paid more royalties earlier, and they received a lump sum payment in 2018. They did not receive the full protection for those royalty amounts under the 2005 offshore revenue arrangement that they otherwise would have.
