 There are various ways to model this form of reasoning in t-norm based fuzzy logics that dissolve the paradox. For example, one may declare that any instance of modus ponens is sound if the degree of truth of the conclusion is not lower than that of the strong conjunction of its premises.[5]  As indicated, one stipulates that every instance of  (2)  is true to degree \(1-\epsilon\), for some very small number \(\epsilon\). Even if we declare  (1)  to be perfectly true, the statement that \(10^{100}-1\) is huge, too, might then be less than perfectly true without sacrificing the soundness of instantiation and modus ponens. If, moreover, the degree of truth of the conjunction of two not perfectly true (and not perfectly false) statements is less than that of each conjunct, we may safely declare that statement  (3)  is perfectly false and nevertheless insist on the soundness of each step in the indicated chain of inferences. Informally speaking, the paradox disappears by assuming that repeatedly decreasing some perfectly huge number by a small amount leads to numbers of which it is less and less true that they are huge too.