Deformation Containment Logic