The U.S. has been a big rare earth producer in the past. As you say, the cost/benefit ratio just changed. The can and should be a major producer.