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