Karena - Formal · 4. Logika & Koneksi