Levin reduction