Add xdy dependency.
Create Client class.
Implement 'starting on state "initial"' (Client class).
Implement 'has a socket object' (for Client).
Add socket interface to 'has a socket object' (for Client).
Reworded asserts.
[Incomplete] Implement 'which can go to state announced' (for Client).
Refactor asserts.