first asserts