ditmokca lujvo

x1 is a time point.