Verfify type assertion in Exists