Jesteśmy teraz w erze formalnie weryfikowanego kodu