Extend the vocabulary from Section to define addition for n -bit binary numbers. Then encode the description of the four-bit adder in Figure 4bit-adderfigure, and pose the queries needed to verify that it is in fact correct.