Happy July 4th, everyone.