Boredom causes productivity.