Symbol: H_ANDCOND