Paraconsistent_logic loading ...