3 ms·How do they know their formalization of the informal problems into formal ones was correct?by mathinaly 2y agoHow do they know their formalization of the informal problems into formal ones was correct?