experemental interface on time calculus