TLA-3 Client Introduction Notes