time-constructible functions