Work on AST doc: t+