correct example T_Done