Formal debate: an active learning strategy.