boredom - a real bored man