existence test