extra asserts needed