Vi måste antaga ,att