Symbol: dumb_term