A civil servant doesn’t make jokes.