Vi tro det alltså hafva varittjen-