Decidability_(logic) loading ...