Republikens president har till en witzdag