Alltså måste det förra antagandetvara