extending the axiom to match the reduction contexts gives the compatible closure yeah you could have said so kuva icyo gihe zahawe inshya zirimo izo mu kazi mu biro no mu birori