 I don't know. It's sort of a complicated story. I don't have a full picture. The Wall Street Journal did a bunch of restructuring in D.C. I worked on a seven-person team that covered business in Washington. They closed down that division. There's a bunch of reporters that covered financial services and regulatory agencies. They were laid off. So I think about 30 people in D.C., including reporters and editors, were laid off.