Symbol: gen_true