cyangwa se byari bifite akandi kamaro mu mateka y'abanyarwanda uretse inyuguti iritangira extending the axiom to match the reduction contexts gives the compatible closure