 			theException: res.theException,
 			labels: res.labels,
 			stamp: res.stamp,
-			callbacks: res.callbacks)
+			callbacks: res.callbacks,
+			abort: false)
 	})(p: p)
 }
 

			return x.unProp
		}))
	})
}

/// Modifies a property so it will not shrink when it fails.

				theException: res.theException,
				labels: insertWith(max, s, n, res.labels),
				stamp: res.stamp.union([s]),
				callbacks: res.callbacks,
				abort: false)
		})(p: p)
	}
	return p.property()
