Today is the Happy happy Captain Picard Day. Congrats.