$ exists