← Debate learning method and its implications for the formal ...