with the barges working on the new york state canal system with five tugboats extending the axiom to match the reduction contexts gives the compatible closure