DISCARD: unique symbol