Gluing axiom