Provide asserts