Oh, but I guess there is no need for these assertions.