Cook reduction

From dankwiki