there is also a notion of a fully time constructible function spahn gave up one to berra followed by one to mcdougald the library of congress has a collection of thirty seven titles by goon