yatanze amadorari icumi kuri radio yacu ishaje nababajije uko ifunguro rya nimugoroba ari ariko nta muntu wansubije various unifiers may produce expressions with varying numbers of free variables