Comment by drdrey

good luck formally verifying everything