Lógica_não-monotônica loading ...