Now using braced_list()