We promote a k\"unneth type equivalence of derived categories of constructible weil sheaves with or for to a k\"unneth type equivalence of derived categories of derived categories of constructible weil sheaves with or for .