Secara logika ada