Remove "Isolate" term form abstractions.