OR TerminalIO.Confirm["Replace object?", Rope.Cat[name, " not from same library"]]
THEN {
copyOfLibObject: CD.Object ← CDRemote.Get[comm.design, designName, name];
PW.AppendProps[copyOfLibObject, ob];
CDProperties.PutPropOnObject[copyOfLibObject, libraryProp, libFileName];
CDDirectory.ReplaceObject[comm.design, targetOb, copyOfLibObject];
IF ~CDDirectory.Remove[comm.design, name, targetOb] THEN ERROR;
IF ~CDDirectory.Rename[comm.design, copyOfLibObject, name, FALSE] THEN ERROR;
TerminalIO.WriteRopes["Replacing ", name, "\n"];
};