How do you know you are in a global boom? When it feels like a big miss for US non-manufacturing PMI to come in at "only" 55.3.