The great big hoss is equal to \(\{ ext{big hoss}, ext{big hoss} \underbrace{////\ldots////}_{ ext{big hoss}} 2\}\), {L,big hoss}big hoss,big hoss or {L,X}big hoss,big hoss in BEAF.
The great big hoss is equal to \(\{ ext{big hoss}, ext{big hoss} \underbrace{////\ldots////}_{ ext{big hoss}} 2\}\), {L,big hoss}big hoss,big hoss or {L,X}big hoss,big hoss in BEAF.