13Carroll (Forthcoming) shows that this is also a recurring formula that extends inductively to earlier periods.