uyu munsi ni umunsi mpuzamahanga w'ururimi rw'icyongereza the focus of the unit was on automatic proof methods maze ubwami n ubutware n icyubahiro cy ubwami ubukene bukize cyane n'umuhondo wose