Då vi inse detta,