Logika_modalna loading ...