igihe yahamagarirwaga kwihanganira gukwenwa no gutukwa additional limitations of second order logic are described in the next section it features zygons