 But what is interesting is that work comp does pay certain benefits, and those benefits are paid basically regardless of how the injury happened, if the injury happened on the job, if it's a work-related injury.