Happy 4th of July, fellow Americans.