since you call this with ensures as well as requires, can you rename this parameter?