natwe tukikiranya amajwi yacu tuti mariya utarasamanywe icyaha induction axioms are also implicit and are needed only to prove program properties mbere yo kwakirwa mu itorero ababaga bemeye ubukristo