 Just as the bond of love is sometimes called insoluble, not because it can in no way be untied (sit solubilis) but because it can be untied [only] with difficulty, so a proposition is sometimes called insoluble, not because it is not solvable but because it is solvable [only] with difficulty.