3 entirely different things we call “Time” — LessWrong