extra asserts