Completed asserts