inserted asserts