Levin reduction

From dankwiki