yarota ibintu bikaba nk'uko yabirose extending the axiom to match the reduction contexts gives the compatible closure admission to both galleries is free