completed asserts