[WallWextra]

Of course. I'm saying the important part is not that the class is bigger, the important part is that it's a Banach space.