Sometimes, the motivation for proving the correctness of a system is not the obvious need for reassurance of the correctness of the system, but a desire to understand the system better.
Kartais motyvacija įrodyti sistemos teisingumą yra ne akivaizdus poreikis užtikrinti sistemos teisingumą, bet noras geriau suprasti sistemą.