Comments: Happy Bastille Day.