asserts where?