Natural language permits conditionals to appear as antecedents of other conditionals, as in 'If (if ...