.Pair of IBM-developed formulas have been formally formalized within the world's first three post-qu...