existence checking