It is highly advisable that you begin with the introduction.

Afterwards, you may entertain yourself with the following. This is low-hanging fruit.

• The first two numbers in the representation have the same parity.
• The representations extend to an arbitrary length.
• If an odd n has a representation, so does 4n + 1.
• The binary ending of a number coincides with Terras' parity vector.