It would be included in a liability. However, in a case where they never use it, then the liability that would be booked would not be the same as the actual cash payout down the road at any particular time. I'm just curious because you said that they cannot carry it.
On April 30th, 2018. See this statement in context.