Formale Verifikation ist sehr erforderlich, danke @CertoraInc