Debate

Formalizing stochastic doubly-efficient debate