kwirinda gusiragiza abaturage bagakemura ibibazo byabo hakiri kare yagize ati ibyo byaha ntabwo bikunda kubaho muri sosiyete y'isi ni imbonekarimwe the focus of the unit was on automatic proof methods