Symbol: q_is_red