I sådant fall tro vi,