Elaborate in TODO.