Muodollinen vahvistus on erittäin tarpeen, kiitos @CertoraInc