This seems functionally equivalent to `fresh`. Should it be a separate value?