asserts - symbols