Formell verifiering krävs verkligen, tack @CertoraInc