But that wouldn’t necessarily be the worst thing in the world for a Washington market that was struggling before the pandemic ...