Boredom is one cost of paid employment