.Two IBM-developed formulas have been formally formalized within the world's very first 3 post-quant...