There is an AIDS vaccine only if there is no difference between there being one and there not being one.