I wonder if we should check this only in debug mode (put the exists() into Assert(...) For performance reasons?