sentence1: our formal model of debate systems is a natural generalization of one-way interactive proof systems .
sentence2: our formal model of debate systems combines and generalizes the concepts of one-way interactive proof systems .