 The sequence of propositions evaluated this way is launched by the opponent giving the respondent a specified obligation, in the paradigm case that of granting an obviously false proposition. This specified obligation must be respected throughout the sequence, regardless of how complex the sequence gets. The underlying idea is that although the specified obligation relieves the respondent from always following truth in the evaluations, the requirement of some kind of logical coherence is not suspended.