update to Sec.3