Ambient isotopy