Absolutely. There is no more boredom in today's world. Not a second. But boredom is important for the mind to rest.