"Tässä artikkelissa ei tautologian välttämiseksi vertailla seuraavia jaksoja, joissa Hannus/ Ignatta (4) menee saunalle ja käskee vaimonsa kylpeä viimeisen kerran ja pukeutua parhaimpiinsa, minkä jälkeen (5) vaimo kylpee, tietää surman tulevan ja pyytää apua kyläläisiltä."

But don't forget that recently Cignoli et al. proved that, in particular, each t-tautology is provable in BL, where t-tautology means a tautology with respect to all continuous triangular norms (t-norms, for short), being the connective conjunction interpreted by a continuous t-norm and the connective implication interpreted by the corresponding residuum!