the north circular road bisects the southern part mu rusengero kuri iki cyumweru abari bahateraniye basabwe gusabira ubuzima bwa kayihura theories could be decidable yet not admit quantifier elimination