I det fall wi häromnämnt