Plotkin_bound loading ...