[ Big infrastructure investment mentioned by Donald Trump] that would be a welcome development. We'll see if he wants to deliver on that. The truth is that if he does, we want to see infrastructure development too.