I så fall tro vi,