. "For example if $=$ has number 3 and the language has only 6 symbol not including variables, then $x_1 = x_2$ can be encoded as $00000001000100000000$." . . .