Kostnaden för Wiskans rödjning,