Sometimes jokes write themselves.