The gap between monotone and non-monotone circuit complexity is exponential - Tardos, É. (Combinatorica (Budapest. 1981), 1988)