A logical problem for defence spending