add tk_then.