It's defined in the issue, so I didn't see a need to restate it.