Tisdag war owanligt högtidlig.