A Mathematician is a machine for turning amphetamines into theorems.