Payisoggolaasi
Okusengekensonga_okw'ekibalo(Mathematical_logic)
Okulambika_ebirowoozo(Inductive_reasoning)