This is no big deal. We can just import cement from Mexico. They have the biggest cement company in the world and we don’t need these dirty industries in the US.