Redo iteration size section, use \bot to indicate an unknown size