Levin_reduction loading ...