New: existence