 The question with respect to what conditional and disjunctive statements are quantified may elicit different answers. In the case of conditional statements, Avicenna indicates that the quantification should be understood to apply to the times at which the antecedent is posited and the states or conditions (in short, additional assumptions) that can be associated with it. The problem is addressed for example by (Rescher 1963b), (Movahed 2009), and (Hodges 2013). A universal affirmative conditional statement is true when the consequent follows the antecedent at all times the antecedent is posited and with respect to all states that may legitimately be added to the  antecedent:[6] 