Are you satisfied with the deal ending the government shutdown?