Boredom is one tool to help with work; like at my previous company we're not allowed to watch videos during work hours and this boredom helps a bit to not lose track of time doing non-work related stuff.