LaTexified verification2-1; update status report