There are different kinds of “time.”