symbolic done