Showed that the koszul complex squeezes into NBar.