T_dot88‘s Following are private.