Symbol: no_conclusion