Reduces alternation to counting.

First part: Recursive applications of Valiant-Vazirani & Papadimitriou-Zachos.

Second part: Magic polynomial to combine randomness and ÅP