Lógica_subestrutural loading ...