Lease royalties, generally speaking