The Jefferson Market is back open. Big “Open” banner and everything. How did that happen?