Questão jurídica principal
Whether the respondent was bound by pre-litigation statements or an alleged clarifying agreement concerning double insurance rather than subsidiarity.
Decisão extraída
The respondent’s prior statements were not binding in the proceedings; it could invoke the policy’s subsidiarity clause.
Fundamentação extraída
The alleged mistake related to pre-litigation communications, not a procedural declaration. The respondent had alleged and evidenced that it had been mistaken about the existence of the clause, so no violation of pleading rules was shown.