Suppose that one euro costs $0.80 on January 1. Suppose that on March 1, one euro costs $0.75. What has happened to the value of the dollar (in terms of euros) over this period?