 Before we speak again, it will be the 4th of July, so happy Independence Day to all our listeners out there. Always a good time talking to you, sir. Looking forward to doing it again next time. You too, Patrick.