 That is the best way to put it. Happy Independence Day. All right, Jeff. I know you probably already know the answer because you read the script. But imagine before you read the script today that this question was, how long was the war for American independence?