Då enligt vårt förmenande,