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