mwuka atanga imbaraga ikomeza abantu bari mu kaga such a journey requires little explanation extending the axiom to match the reduction contexts gives the compatible closure