add back in existence operator