in communication, the sender attaches the formula_2 bits of r after the original message bits of m, which could be shown to be equivalent to sending out formula_14 (the "codeword".) the receiver, knowing formula_5 and therefore formula_2, separates m from r and repeats the calculation, verifying that the received and computed r are equal. if they are, then the receiver assumes the received message bits are correct.