time-constructible function