But of course that is the case here.
That is the case here, obviously.