Decidable_(logic) loading ...