A chain of logics about chronology. - View it on GitHub