It’s a duck.EUR/USD edged up to 1.30015, just far enough to trigger any 1.3000 exotics. We’re now back down to 1.2990.